Hints for a formal language inspired by Lewis structures
نویسندگان
چکیده
Summary In this work we elaborate on the idea of a formal theory for limited but important part structural chemistry, that described by Lewis’ methods and VSEPR (Valence Shell Electron Pair Repulsion). For purpose, recursive functions propositional are defined, apply to expressions structure, based finite set symbols. This approach allows expression numerous questions chemical interest. The formalization basic chemistry Lewis/VSEPR method is potentially useful automation related procedures, possibly also some use as complementary material in teaching heuristic tool chemistry.
منابع مشابه
Formal Representation of Language Structures
Building treebanks is a prerequisite for various experiments and research tasks in the area of NLP. Under a recently awarded grant, we are developing (i) a formal definition of a (dependency based) tree, and (ii) a midsize treebank based on this definition. The annotated corpus is designed to have three layers: morphosyntactic (linear) tagging, syntactic dependency annotation, and the tectogram...
متن کاملpliable convertible structures in architecture inspired by natural role models
generally an important part of changes in architectural constructions are represented by convertible structures. these kinds of structures are composed typically of hard or soft materials or combination of both, which avoid independent structural deformations and need additional elements such as hinges, rollers or other similar components. development of new construction materials like fiber-re...
متن کاملComplexity and Expressiveness for Formal Structures in Natural Language Processing
The formalized and algorithmic study of human language within the field of Natural Language Processing (NLP) has motivated much theoretical work in the related field of formal languages, in particular the subfields of grammar and automata theory. Motivated and informed by NLP, the papers in this thesis explore the connections between expressibility – that is, the ability for a formal system to ...
متن کاملA Formal Language Analysis of DNA Hairpin Structures
The concept of hairpin structures in formal languages is motivated from the biocomputing and bioinformatics fields. Hairpin (-free) DNA structures have numerous applications to DNA computing and molecular genetics in general. A word is called hairpin-free if it cannot be written in the form , with certain additional conditions, for an involution (a function with the property that equals the ide...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Chemistry
سال: 2022
ISSN: ['1386-4238', '1572-8463']
DOI: https://doi.org/10.1007/s10698-022-09439-6